functorial inner model

功能元件内模型